Verification tasks. Verify the following properties:
4. termination
